Large cardinals and their effect on the continuum function on regular cardinals
نویسندگان
چکیده
منابع مشابه
Clones on Regular Cardinals
We investigate the structure of the lattice of clones on an infinite set X . We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg’s theorem: there are 2 λ many maximal (= “precomplete”) clones on a set of size λ. The clones we construct do not contain all unary functions. We then investigate clones that do contain all unary functions. Using a stron...
متن کاملLarge cardinals and the Continuum Hypothesis
This is a survey paper which discusses the impact of large cardinals on provability of the Continuum Hypothesis (CH). It was Gödel who first suggested that perhaps “strong axioms of infinity” (large cardinals) could decide interesting set-theoretical statements independent over ZFC, such as CH. This hope proved largely unfounded for CH – one can show that virtually all large cardinals defined s...
متن کاملConsecutive Singular Cardinals and the Continuum Function
We show that from a supercompact cardinal κ, there is a forcing extension V [G] that has a symmetric inner model N in which ZF + ¬AC holds, κ and κ are both singular, and the continuum function at κ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of κ of length equal to any predetermined ordinal. We also show that the above situation can be...
متن کاملDiamonds on large cardinals
Acknowledgements I want to express my sincere gratitude to my supervisor Professor Jouko Väänänen for supporting me during all these years of getting acquainted with the intriguing field of set theory. I am also grateful to all other members of the Helsinki Logic Group for interesting discussions and guidance. Especially I wish to thank Do-cent Tapani Hyttinen who patiently has worked with all ...
متن کاملRemarks on continuum cardinals on Boolean algebras
For set-theoretical notation we follow [3]. We follow [2] for Boolean algebraic notation, and Monk [5] for more specialized notation concerning cardinal functions on Boolean algebras. Fr(κ) is the free Boolean algebra on κ generators. A is the completion of A. If L is a linear order, then Intalg(L) is the interval algebra over L (perhaps after adjoining a first element to L). Any element x of I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AUC PHILOSOPHICA ET HISTORICA
سال: 2016
ISSN: 2464-7055,0567-8293
DOI: 10.14712/24647055.2016.9